<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*1*/__mkptr_size@0:5');
ag(1,'/*2*/malloc@0:6');
ag(2,'/*3*/__ptrof_size@0:7');
ag(3,'__ccuredInit@0:3');
ag(4,'abort_deepcopy@0:4');
ag(5,'init@0:8');

</script>Done</html>
